大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Software Engineering for Multi-Agent Systems III [electronic resource] : Research Issues and Practical Applications

0
索取号:
作者:Choren、 Ricardo.、Garcia、 Alessandro.、Lucena、 Carlos.、Romanovsky、 Alexander.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Graph Drawing [electronic resource] : 12th International Symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers

0
索取号:
作者:Pach、 J谩nos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Aided Systems Theory-EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 鈥౱, 2005, Revised Selected Papers

0
索取号:
作者:Moreno D铆az、 Roberto.、Pichler、 Franz.、Quesada Arencibia、 Alexis.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

0
索取号:
作者:Wu、 Zhaohui.、Chen、 Chun.、Guo、 Minyi.、Bu、 Jiajun.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Ubiquitous Computing Systems [electronic resource] : Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers

0
索取号:
作者:Murakami、 Hitomi.、Nakashima、 Hideyuki.、Tokuda、 Hideyuki.、Yasumura、 Michiaki.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Music Modeling and Retrieval [electronic resource] : Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers

0
索取号:
作者:Wiil、 Uffe Kock.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Job Scheduling Strategies for Parallel Processing [electronic resource] : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers

0
索取号:
作者:Feitelson、 Dror G.、Rudolph、 Larry.、Schwiegelshohn、 Uwe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Information and Knowledge Systems [electronic resource] : 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

0
索取号:
作者:Dix、 J眉rgen.、Hegner、 Stephen J.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Satellite Events at the MoDELS 2005 Conference [electronic resource] : MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers

0
索取号:
作者:Bruel、 Jean-Michel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Recent Advances in Intrusion Detection [electronic resource] : 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005. Revised Papers

0
索取号:
作者:Valdes、 Alfonso.、Zamboni、 Diego.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Supported Cooperative Work in Design I [electronic resource] : 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

0
索取号:
作者:Shen、 Weiming.、Lin、 Zongkai.、Barth猫s、 Jean-Paul A.、Li、 Tangqiu.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computational Life Sciences [electronic resource] : First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005. Proceedings

0
索取号:
作者:R. Berthold、 Michael.、Glen、 Robert C.、Diederichs、 Kay.、Kohlbacher、 Oliver.、Fischer、 Ingrid.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Human-Computer Interaction - INTERACT 2005 [electronic resource] : IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005. Proceedings

0
索取号:
作者:Costabile、 Maria Francesca.、Patern貌、 Fabio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

0
索取号:
作者:Fitzgerald、 John.、Hayes、 Ian J.、Tarlecki、 Andrzej.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

0
索取号:
作者:Etessami、 Kousha.、Rajamani、 Sriram K.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Practical Aspects of Declarative Languages [electronic resource] : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings

0
索取号:
作者:Hentenryck、 Pascal.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类